home *** CD-ROM | disk | FTP | other *** search
/ IRIX Installation Tools & Overlays 2002 November / SGI IRIX Installation Tools & Overlays 2002 November - Disc 4.iso / dist / insight_base.idb / usr / share / xml / ent / iso-amsb.ent.z / iso-amsb.ent
Text File  |  2002-10-15  |  3KB  |  50 lines
  1. <!-- iso-amsb.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
  2.  
  3. <!-- Derived from the corresponding ISO 8879 standard entity set
  4.      and the Unicode character mappings provided by Sebastian Rahtz.
  5.      With additional derivations from
  6.      ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
  7.  
  8. <!ENTITY amalg    "∐"> <!-- N-ARY COPRODUCT -->
  9. <!ENTITY Barwed    "⌆"> <!-- PERSPECTIVE -->
  10. <!ENTITY barwed    "⊼"> <!-- NAND -->
  11. <!ENTITY Cap    "⋒"> <!-- DOUBLE INTERSECTION -->
  12. <!ENTITY Cup    "⋓"> <!-- DOUBLE UNION -->
  13. <!ENTITY cuvee    "⋎"> <!-- CURLY LOGICAL OR -->
  14. <!ENTITY cuwed    "⋏"> <!-- CURLY LOGICAL AND -->
  15. <!ENTITY diam    "⋄"> <!-- DIAMOND OPERATOR -->
  16. <!ENTITY divonx    "⋇"> <!-- DIVISION TIMES -->
  17. <!ENTITY intcal    "⊺"> <!-- INTERCALATE -->
  18. <!ENTITY lthree    "⋋"> <!-- LEFT SEMIDIRECT PRODUCT -->
  19. <!ENTITY ltimes    "⋉"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  20. <!ENTITY minusb    "⊟"> <!-- SQUARED MINUS -->
  21. <!ENTITY oast    "⊛"> <!-- CIRCLED ASTERISK OPERATOR -->
  22. <!ENTITY ocir    "⊚"> <!-- CIRCLED RING OPERATOR -->
  23. <!ENTITY odash    "⊝"> <!-- CIRCLED DASH -->
  24. <!ENTITY odot    "⊙"> <!-- CIRCLED DOT OPERATOR -->
  25. <!ENTITY ominus    "⊖"> <!-- CIRCLED MINUS -->
  26. <!ENTITY oplus    "⊕"> <!-- CIRCLED PLUS -->
  27. <!ENTITY osol    "⊘"> <!-- CIRCLED DIVISION SLASH -->
  28. <!ENTITY otimes    "⊗"> <!-- CIRCLED TIMES -->
  29. <!ENTITY plusb    "⊞"> <!-- SQUARED PLUS -->
  30. <!ENTITY plusdo    "∔"> <!-- DOT PLUS -->
  31. <!ENTITY rthree    "⋌"> <!-- RIGHT SEMIDIRECT PRODUCT -->
  32. <!ENTITY rtimes    "⋊"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  33. <!ENTITY sdot    "⋅"> <!-- DOT OPERATOR -->
  34. <!ENTITY sdotb    "⊡"> <!-- SQUARED DOT OPERATOR -->
  35. <!ENTITY setmn    "∖"> <!-- SET MINUS -->
  36. <!ENTITY sqcap    "⊓"> <!-- SQUARE CAP -->
  37. <!ENTITY sqcup    "⊔"> <!-- SQUARE CUP -->
  38. <!ENTITY ssetmn    "∖"> <!-- SET MINUS -->
  39. <!ENTITY sstarf    "⋆"> <!-- STAR OPERATOR -->
  40. <!ENTITY timesb    "⊠"> <!-- SQUARED TIMES -->
  41. <!ENTITY top    "⊤"> <!-- DOWN TACK -->
  42. <!ENTITY uplus    "⊎"> <!-- MULTISET UNION -->
  43. <!ENTITY wreath    "≀"> <!-- WREATH PRODUCT -->
  44. <!ENTITY xcirc    "○"> <!-- WHITE CIRCLE -->
  45. <!ENTITY xdtri    "▽"> <!-- WHITE DOWN-POINTING TRIANGLE -->
  46. <!ENTITY xutri    "△"> <!-- WHITE UP-POINTING TRIANGLE -->
  47. <!ENTITY coprod    "∐"> <!-- N-ARY COPRODUCT -->
  48. <!ENTITY prod    "∏"> <!-- N-ARY PRODUCT -->
  49. <!ENTITY sum    "∑"> <!-- N-ARY SUMMATION -->
  50.